A Tractable First-Order Probabilistic Logic Pedro Domingos and W. Austin Webb Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. {pedrod, webb}@cs.washington.edu

Source URL: homes.cs.washington.edu

New Advances in Logic-Based Probabilistic Modeling by PRISM Taisuke Sato and Yoshitaka Kameya Tokyo Institute of Technology, Ookayama Meguro Tokyo Japan, http://sato-www.cs.titech.ac.jp/

Source URL: rjida.meijo-u.ac.jp

Probabilistic Algorithms and Ramsey-Type Principles in Reverse Mathematics Laurent Bienvenu Ludovic Patey

Source URL: ludovicpatey.com

• Mathematics
• Logic
• Proof theory
• Mathematical proofs
• Lemma
• Theorem
• Abstraction
• Reverse mathematics
• BPP

Bayesian Artificial Intelligence 1/40 History

Source URL: bayesian-intelligence.com

• Statistical models
• Bayesian statistics
• Philosophy of science
• Statistical inference
• Bayesian network
• Graphical model
• Bayesian
• Inference
• Probabilistic logic
• Causality
• Judea Pearl
• Naive Bayes classifier

Probabilistic polynomial-time semantics for a protocol security logic? Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Vitaly Shmatikov2 , and Mathieu Turuani3 1 2

Source URL: www.andrew.cmu.edu

Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam

Source URL: web.cs.ucla.edu

Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Operator theory
• Theoretical computer science
• Measure theory
• Mathematics
• Analysis
• Denotational semantics
• Logic in computer science
• Hermitian adjoint
• Support
• Expected value
• Abstract interpretation
• Adjoint functors

Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Programming language semantics
• Measure theory
• Boolean algebra
• Probability theory
• Denotational semantics
• Predicate transformer semantics
• Sigma-algebra
• PP

A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract

Source URL: heim.ifi.uio.no

Probabilistic Reasoning for Assembly-Based 3D Modeling

Source URL: geometry.stanford.edu

• Statistical models
• Machine learning
• Bayesian statistics
• Cluster analysis
• Mixture model
• Pattern recognition
• Graphical model
• Bayesian network
• Probabilistic logic
• Principal component analysis
• Expectationmaximization algorithm
• Probability distribution